fixed constant reference for invalid hosts and some minor cleanup
added test coverage for GalimatiasParseException
added unit tests for ParseIssues