Can't Believe it's not ABC Coming soon! Reimplementing Berkeley ABC algorithms needed for yosys techmapping, in Rust.