Extend boolean conversion to throw structured exceptions for other kinds of conversion error

[thk123]

convert_bitvector currently throws an exception when something goes wrong with flatten_byte_extraction operations. This should be extended for other kinds of errors.

[martin-cs]

Some of them should probably be removed in favour of INVARIANTs of some kind.