Add some allow(unused)

Ian Jacksonrequested to merge
Diziet/arti:unused into main

Apply the same workaround as we already have in a number of other places. See #1645

Fixes several warnings from

  cargo check --workspace --no-default-features

Merge request reports