Proto/Apply/Michelson: normalize scripts before origination

Context

Protocol fix for #843 (closed). This MR changes the origination operation to normalize the script to optimized mode before originating it. It does not change the size of the origination operation but only the storage space taken by the operation.

Manually testing the MR

This MR first introduces an xfail test demonstrating that the bug is present, then a fix in the protocol, and finally the xfail marker is removed.

To see the result of the xfail test before the bug fix, see the pipeline of the following branch: https://gitlab.com/nomadic-labs/tezos/-/commits/rafoo@test_bug_843_is_present.

Checklist

• Document the interface of any function added or modified (see the coding guidelines)
• Document any change to the user interface, including configuration parameters (see node configuration)
• Provide automatic testing (see the testing guide).
• For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, the Development Version section of CHANGES.md for everything else).
• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR