Springle assert_not_NaN throughout code to avoid numerical stability