Added support and testing for BigDecimal, BigInteger, and blobs. Fixed a
problem with the symbolic execution rewriter not recursing more than one
level.