Add VerifyThis2021 solutions

Merged Michael Sammler requested to merge ci/VerifyThis2021-cleanup into master

Merge request reports