added `bad::reduce_string`

Mike Redkorequested to merge
dev into main

Added string<1> bad::reduce_string<N, M, F>(string<N> s, F &&f) which reduces f over s, with excess bits left until the end. f must take M bit arguments.

Merge request reports