added wcet-oriented variant of udivsi3.c
improved corner cases for udivsi3