Add support for array lemmas.

The old CC support can be removed, but is still in for debugging.
Also handle exception for term-ite and report a proper error.
select/store over store rewrites tested