Add isBvConst and asBvConst accessors to LiteralExpr to match the
others already present for bool, BigNum and BigDec.