stainless 0.1.5

Organized, flexible testing framework.