add parsing for bv lits and fix tests