Building Botanix, a Bitcoin Layer 2 That Brings the EVM to Bitcoin