Change xstate_bv handling to use 8 bytes of data.