using MVMuint64 in bigint_shr

This is so 1 +> 32 returns 0 and not 1.

Not tested much but it should be fine.