Expansions for u/srem, using the udiv expansion. More unit tests for udiv and u/srem.