Hey Nick--
You're right -- there's likely a bug in this demo code.  I just checked the production version currently in Jacket --- running in a loop, various sizes,etc. -- and it checks out with some nice speedups.