Fascinating stuff, but from what I've heard so far they haven't really tested any of the propositions.

The approach seems to be, "Here's a happy tune, it's in the key of A major, A major is a happy key". It would be interesting to hear the same piece played in a different key (surely not difficult with digital technology) to demonstrate whether the characteristics they are claiming derive from the key or from the music itself.