v2.1

• Generated solutions are now automatically verified using libverify from omsim. If verification is successful, the cost/cycles/area/instructions metrics are automatically written to the solution file.
• Removed the hard-coded 18 repetitions for puzzles that contain both repeating and non-repeating products. OpusSolver now uses the "output scale" of a puzzle to work out how many products to create in this situation, which may lead to simpler solutions for some puzzles.