Add combinatorial test sequence
Mention Sage GCC in README