Updates to support test specs and “tishadow test” execution of tests