remove use of exported set!'d identifier from contract examples

(replacing it with an accessor function)

Also add some for-label requires and remove a guaranteed-to-fail
test case (the bug is documented in the contract gotchas section)