Refactor - Loader v4 deployment status

[Lichtso]

Problem

The current encoding of the program state leaves gaps of uninitialized / undefined memory.
See #32989, #32990 and #32991.

Summary of Changes

• Replaces is_deployed with status: Retracted, Deployed, Finalized
• Removes the Option<> from authority_address, None is now expressed as status Finalized
• Places the status at the end and gives it repr(u64) so that there is no padding
• Adds test for the layout of the program state
• Forbids finalizing retracted programs

[ripatel-fd]

The state layout changes look great.