Fixed a bug in correctness checker; several fixes

Also removed old arbitrary instance (now the better one is used
for hipspec too, so use --quick-check-size=10).