[Bug] Figure out MicroPython module alignment requirements

[ArcaneNibble]

During the investigation of a crash occurring on EV3, we found that there are potential issues with the data alignment (i.e. to a multiple of 4 bytes) of MicroPython modules. See here.

This may affect modules containing native code.

This needs to be properly specified, and any potential breaking changes need to be coordinated between the firmware and pybricksdev.

[ArcaneNibble]

Not only do we need to check if the overall size is aligned, but we may also need to check if the data which comes after the module name (i.e. the result of mpy_data_get_buf) needs to be aligned.