Fix a bug in subadditivity_check
(FastPiecewise): Add values_at_end_points
(FastPiecewise): Add limits_at_end_points. Fix testcase in values_at_end_points
(FastPiecewise.limits): simplify the code by using limits_at_end_points()
Reimplement minimality_test_general in terms of generators.