[contract-deploy] Macro for checking initialization nullifier in all private functions

[spalladino]

All private functions in a contract, except for the constructor, must assert the existence of the initialization nullifier. This code should be injected under the hood by the aztec macro.

Test that a private function cannot be called if the contract has not been initialized.

Note that this may break #4057.

[spalladino]

Closing as done