Add an helper for casting in BoostBigInt
Implement all BigInt operators!

* Many optimizations left and shrinking.
* Always coercing to BigIntImplem when an operand is not a nativeint.