[move-binary-format] Add additional information to the normalized module

[tzakian]

This adds additional information to the normalized module. It adds:

• Dependencies
• Private functions
• Constants
• Bytecode

Along with a new inclusion checker that checks whether one module is a subset, or exactly equal modulo dependencies.

[tzakian]

FYI: Added a bunch for stuff to this PR so we now normalize the bytecode contents.