Adds some tests for bigint multiplication. Fixes some bugs in tests and multiplication.