Fixed bug where normalized error was used to compare to threshold, leading to solutions when there shouldn't be.
Merge branch 'fix-threshold-with-normalization' into prog-synth-benchmarks