make: Force check target to depend on format-check
make: Force check target to depend on format-check

There are two reasons to do this.  First, it's harder to forget to run
make format before pushing.  Second, while developing if there happen
to be syntax errors in the tests, they're caught *much* quicker than
they would be if we went through a full test run.

kelda/kelda,stevenlin598/quilt,tejasmanohar/quilt,kayousterhout/quilt,secant/quilt,ZhongtianWang/quilt,stevenlin598/quilt,akshayknarayan/quilt,kayousterhout/quilt,secant/quilt,NetSys/quilt,LuiseV/quilt,kklin/kelda,tejasmanohar/quilt,LuiseV/quilt,akshayknarayan/quilt,mmussomele/quilt,kelda/kelda,PenguinToast/quilt,ZhongtianWang/quilt,akshayknarayan/quilt,akshayknarayan/quilt,tejasmanohar/quilt,quilt/quilt,ejj/quilt-dev,kklin/kelda,stevenlin598/quilt,mmussomele/quilt,mmussomele/quilt,NetSys/quilt,stevenlin598/quilt,mmussomele/quilt,kayousterhout/quilt,PenguinToast/quilt,quilt/quilt,PenguinToast/quilt,stevenlin598/quilt,kklin/quilt,kklin/kelda,PenguinToast/quilt,kelda/kelda,mmussomele/quilt,kelda/kelda,LuiseV/quilt,secant/quilt,NetSys/quilt,tejasmanohar/quilt,ZhongtianWang/quilt,quilt/quilt,kayousterhout/quilt,PenguinToast/quilt,secant/quilt,kklin/quilt,kklin/quilt,secant/quilt,ZhongtianWang/quilt,quilt/quilt,LuiseV/quilt,mmussomele/quilt,NetSys/quilt,kklin/kelda,stevenlin598/quilt,kklin/quilt,NetSys/quilt,ejj/quilt-dev,ejj/quilt-dev,LuiseV/quilt,ejj/quilt-dev