build: make constant folding and arithmetic assertions default.