some work on new property-based test suite based on simple-check
rewrite matrix generator so it finishes in reasonable time for large n
fix travis build
fix travis build again