Python in Visual Studio Code adds a new test explorer with auto-discovery

Amped for a second that they had hooked in Z3 for "Intelitest" automatic test case generation.

This is a huge improvement. Supports unittest, pytest and nose.