simple test harness and checking of mul/div overflow