Remove redundant .zpl constraints.
Print an upper bound on the dimension of the generated polytope in generate_testcase.hs.
Added proof of linear independence of equalities for dimension upper bound.