Towards Live Programming Environments For Statically Verified Javascript