About 'correctness' and 'small size' ... as soon as they'd add unittests as extensive as V8, JSCore, or SpiderMonkey, it'd grow big quite dramatically. :-)
I'd be interested to see how ES5-compliant MuJS really is. My guess is probably different from what they claim.