Improve coverage on compat_*threads and workqueue

See my branch thread_coverage. It solves some but not all of #16798 (moved)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information