v2.0.0-rc: Prefix modules with NetKAT_, hide Optimize