fix bug that doesn't check for all states b2d vm can be in
Merge pull request #163 from gregerg/fix/lifter_init_b2d_state

fix bug that doesn't check for all states b2d vm can be in.  closes #162, also closes #135