Fixed a bunch of things in the testbed, added new features like defining environment constraints...