It would be good to have nightly CI to hopefully catch those elusive bugs that more quickcheck tests would maybe reveal.