Add missing eval ctxt and some tests that exercise it...

...and fixed a downset-op bug; ugh.