stainless 0.1.3

Organized, flexible testing framework.