Inspectors Tests Generation

-Completed test generation for forAll
-Makes Inspectors to report Java Map error using 'key' instead of 'index'.
-Adjusted Collecting's genTraversableFrom implementation for Java Map to follow the original iteration order of the Java Map.