Require Automake 1.12 and add serial-tests option
Improve out of bounds error message generated by simplify stage
Add static checking of index constraints where possible
Add dynamic checking of index constraints