Last time I looked at smart contracts the optimizations are done through assembly and unchecked code. Is that still the case ?