Some more LIRA tests.

These are generated from the SMTLIB-2.0 cut lemma benchmarks by
making some of the variables real.  The set is chosen such that
it is difficult for our SMT solver.
Report outOfBounds also for reals on composites.