feat: catch overflow before code generation

[DavePearce]

Currently, the ZkC code generator will panic in various situations when overflow occurs. The goal of this issue is to catch and report that overflow earlier in the pipeline, such as during type checking.