Optimize operations on smaller types

The optimizer should use less registers for values where it can infer that they need less than 256 bits. We should potentially also revisit the code that is generated for e.g. 256 bit multiplication such that it is efficient for small values and that branch prediction is correct.