Adjusted last two tests to check failed variable name
Added FsCheck generator for ScriptVal that ignores the recursive types
Added check for setVar type mismatches