Add shape-assertions when internalising reshape.
Disable predicate optimisation for now.
Add size assertions for concat.