GROOVY-6754: groovysh: Handle bad user input for options