Global constants: register constants (to enable typecheck) in compile contract

Merged E. Rivas requested to merge er433/constants/arguments-for-typecheck into dev

When compiling contracts with constants, we had to disable Michelson type-checking.

This MR adds parameters for registering global constants in compile contract, and so type-checking doesn't need to be disabled.

  • has a changelog entry
Edited by E. Rivas