Wrapper tweaks

Solve mode now named test mode
Test mode prints the first wrong test case and stops
Individual test seeds
Command line arguments use double dashes