Add even faster playback options; fix some demo decoding bugs

index.html

@@ -205,6 +205,8 @@
             </div>
             <p>Game speed:
                 <select name="speed">
+                    <option value="100">100× faster</option>
+                    <option value="50">50× faster</option>
                     <option value="20">20× faster</option>
                     <option value="10">10× faster</option>
                     <option value="5">5× faster</option>