Update verify to check sandboxed globals