Use bool <-> bit mappings from riscv_types.sail

[Timmmm]

Use these mappings and change the other functions to be aliases of them.

[github-actions]

Test Results

712 tests  ±0   712 ✅ ±0   0s ⏱️ ±0s
  6 suites ±0     0 💤 ±0 
  1 files   ±0     0 ❌ ±0 

Results for commit dcf8d01. ± Comparison against base commit eeb9270.

♻️ This comment has been updated with latest results.

[arichardson]

I feel like the old names made it more obvious which way the conversion goes but happy with either

[Timmmm]

I feel like the old names made it more obvious which way the conversion goes but happy with either

Yeah I agree. Kind of hard to name these mappings.

[Timmmm]

I think on reflection I'll add the original functions back as aliases to the mapping, i.e.

function bool_to_bits(...) = bool_bits(...)
function bits_to_bool(...) = bool_bits(...)

The names are definitely clearer and it will make this change smaller.