move app instrumentation to instrument.rkt
add observe
check result of observed expression

Checking that an observation actually takes effect
is difficult. Needs more work.
add check-observe
tidy up
docs for observe
observe works with mem