UntrustedObject and TrustedObject updates

- checks added for important functions that might crash the program after an unsuccessful return
- Added the step where UntrustedObject verifies M1