Use bit vectors for read_vmask and read_vmask_carry

[Timmmm]

There are some vector functions that return bit masks as a vector of bools, rather than a bits(). This makes the code unnecessarily complex.

See https://github.com/riscv/sail-riscv/pull/552#discussion_r1768236101