add checks for cancellation inside mam to agilely not ignore Rustan's soft requests for a timeout #326
add checks for cancellation inside mam to agilely not ignore Rustan's soft requests for a timeout #326

Signed-off-by: Nikolaj Bjorner <0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com>

wujunzero/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,wujunzero/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,wujunzero/z3,mschlaipfer/z3,mschlaipfer/z3,wujunzero/z3,wujunzero/z3,kyledewey/z3,wujunzero/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,kyledewey/z3