Minor changes that affect testing API.

Added new alpha-equivalence tests to the provides spec in
compiler-testing.rkt.

Moved wrap and wrap6 into untyped-helpers.rkt.
Bugfix.

Added valid? flag to list of assigned variables in the output let-binding.
Added passes 7-9 to tests.
Added template for pass 7, with correct tests.