Add testing of mjsunit