added bigint lib, implemented mulh, all tests pass