BIGINT: Add multiplication implementation
BIGINT: Tweak multiplication test