Reject programs with over-constrained sizes

[emilaxelsson]

Optimization should throw an error when the size of an expression is over-constrained. It can only happen if there's a bug in the general size inference, or if the user has stated invalid size constraints. In both cases it may lead to incorrect optimizations, so throwing an error seems preferable.