+ python script which simplifies running of all tests.
* bug-fix in unsigned wrap checked mul operations.
* finished test for checked unsigned wrap operations.