I believe I now have an implementation of the WHATWG proposal for programmatically changing alternate stylesheet sets. The problem is that there seem to be no tests exercising this functionality and I don't really have the time to write them. It'd be really great from my point of view if someone would step up and create these tests...
Update: It looks like Anne has started writing some tests. I'd still like tests on whatever parts of the spec those don't cover.