Adding tests for BigWord multiplication