Lib.IntTypes: remove too strong post-condition on shift_right for now
Lib.IntTypes: remove too strong post-condition on shift_right for now

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star