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

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