Add downsweep axioms for bv8, bv16