build: make constant folding and arithmetic assertions default.
build: make constant folding and arithmetic assertions default.

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32