fix argspec validation
add ExecutionTest