Fix cast insertion in the front end.

I'll merge this straight away if CI succeeds. The point of this change is to always use Cerberus to decide what casts to insert on arithmetic operations.