Change AssumptionViolatedException to not set the cause to null; fixes issue #494