optional-no-recursion
Default `verify-no-recursion` to `False` 1 month ago
Make `NoRecursion` optional 1 month ago