TESTING: added some test cases for switch statements in the VC generator.
TESTING: added yet another test case.
TESTING: added another test case.
TESTING: added an interesting test case.
WYC/WYIL: very minor tweaks.
TESTING: added test case for string out-of-bound exceptions!
WYIL: bug fix for RuntimeAssertions and strings.
TESTING: added yet *another* failing test case!!!
WYIL: bug fix for VC generation and Code.Throw bytecodes.
TESTING: added new test case.
TESTING: fixed up some bugs in test case.
TESTING: added yet *another* test case!!!
Marked test with corresponding issue.
WYCS: bug fix for #181.
WYCS: Minor tweak.
WYCS: beginning the tricky process of address issue #218 --- namely, developing a uniform representation of collections.
WYCS: continuing to work on #218
WYCS: ok, it compiles again.  But I still have to push through changes to the verification transformer.
Starting to push through changes to the representation of lists.
Thinking...