Constant Optimization Driven Database System Testing