Implement BigInt multiplication

* For now, using cpp_int for simplicity