The name of your hypercert

These changes result in lower proof generation costs while maintaining bytecode level compatibility, but they could also have some other impacts.