added new test.java file
This determines which states are permissible, which are nonsensical, and for the sensical cases which banks are solvent and which are not. Plenty of new code added.