Update current-seen
fixup
Make heterogenous vector typechecking not double typecheck the arguments.
Change tc-app-lambda to not return bad filters.

Makes tc/rec-lambda/check return the actual results, and erase the names of
the values bound by the let.
Make tc-values not misuse expected.
Make wcm not misuse the expected results.
Fix expected use in single-value.
Fix tc-if. Remove dead cases and misuse of expected.
Fix misuse of expected in tc-send.
Fix use of expected type of ignore expressions.
Remove duplicate top-filter empty case.
apppend unexposed bugs to the rhs of the benchmark plot
Fixup rec-lambda contract
fix rvm ordered generation to not do test every time
move legend to bottom right
add small(ish) counterexample to delim-cont-3
Make typecheck tests provide more information.
proper descriptions of the rvm model bugs
forgot bug #5 description (and clarify bug #4 wrt to bug #5)