Refactor the BigInt entry points to use standard builders

... and reduce the number of BigInt-specific methods in VM/VMEnv.
Also fixes a missing overflow check on 32-bits.