GenShen nightly testing is showing a few failures, some of which are spurious. We need to clean up the spurious failures, and fix the real failures.

This is a top-level task and sub-tasks will address individual classes of these spurious or real failures so as to clean up the testing results.