Modular-ize Spill, formatting too
L1.Display quickcheck tests