Do not generate assumes for plain integer casts

I gave up on making anything more elegant for now.

r? @eddyb