Check inner quiet in MonteCarloSynth implementation of Byregot's Blessing.
Correct calculation of normal probability at step 1.