Expensive hardening jobs have no verbose check

The expensive hardening jobs do not execute VERBOSE=yes make check on one line and instead run VERBOSE=yes and make check separately. This prevents make check from showing verbose output.

For example: [https://jenkins.torproject.org/job/tor-ci-linux-master-expensive-hardening/56/ARCHITECTURE=amd64,SUITE=stretch/consoleText] (search for VERBOSE).

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