Solve type inconsistencies of `unconstrained_big_uint_div_mod`

[arthurpaulino]

#451 introduced a new operation called unconstrained_big_uint_div_mod. However, it's output is not type correct (should probably be List<List<G>> each).

Then range-checking for u8 should be the responsibility of the caller.