ivory: move emitPreCond, emitPostCond to Cond module, the only place it's used.
ivory assertions:
  * omit 'check' function (requires/ensures can take IBools directly).
  * rename 'satisfy' to 'checkStored'.
  * requires and ensures now have the same form: requires no longer takes a list.
  * Add an 'assumes' statement.