We present progress on applying randomised testing techniques to the Dafny compiler, to automatically identify miscompilation bugs and compiler failures. We have built two complementary tools - fuzz-d, which is principally based on differential testing, and DafnyFuzz, which is principally based on metamorphic testing. These tools in turn complement an existing tool, XDsmith, that was previously used to successfully test the Dafny compiler. Together, these tools have been used to find and report 30 distinct bugs affecting the Dafny compiler, including a number of soundness bugs. Most of these bugs are beyond the reach of the existing XDsmith tool. We have also conducted experiments looking at statement and mutation coverage on the Dafny compiler source code. Our results show that fuzz-d yields complementary coverage compared with XDsmith and the Dafny compiler regression test suite.