A library for quickchecking lattice modules and associated operations