Visualize JavaScript run-time behavior with Theseus

Also, TL;DR with pretty pictures on the project github repo: https://github.com/adobe-research/theseus (though the linked article gives a better overview of its purpose and context)