v0.6.3

What's Changed

• Add LUT1 to simlib by @matth2k in #125
• Fix node definitions in e-graph dumps by @matth2k in #126
• Update serialized node names for SmoothE by @matth2k in #127
• Generate more concise proofs by @matth2k in #128
• Revise README by @matth2k in #129
• Refactor driver in terms of new CircuitLang trait by @matth2k in #131
• Initial commit of ASIC tech mapping by @matth2k in #132
• Verilog emission refactor by @matth2k in #133
• Bump version by @matth2k in #134

Full Changelog: v0.6.2...v0.6.3