Test Generation for forAtLeast and forAtMost

Added test generation for forAtLeast and forAtMost, and adjusted them to provide correct error messages when used with Java Map.