improved the contract on ilsb
Express the intent of ilsb better
formatting
Changed the postcondition on Move.this

Added debug information for when an assert failure occurs.
Add move shape testing to isMoveValid - phase 1

This commit implements the core logic of the validation.
Phase 2 will finish the corresponding unit tests.