const-prop: handle overflow_check consistently for all operators
const-prop: handle overflow_check consistently for all operators

aidancully/rust,aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust