remove dependency on quickcheck and fix other dependencies

Review by @paf31