The DNSSEC proof validation can also be played with at http://http-dns-prover.as397444.net/