now with basic conformance checking

Also argument parsing.