Ensure testing for `bitreverse` when support in CBMC is available

Soon we will add partial support for the `bitreverse` intrinsic in Kani. CBMC does not support it but is being implemented in https://github.com/diffblue/cbmc/pull/6581

When support is available, fix any issues with our implementation and enable testing.