Add `@Stable` to BigInteger and BigDecimal

[wenshao]

Some final arrays of BigInteger and BigDecimal are stable and immutable. We 
should add `@Stable` to give the optimizer more information
-
Shaojin Wen