attemptingToEditMaxArityFlagProvokesPermissionError

Tests that the query

?- set_flag(max_arity, 10).

fails producing permission_error(modify, flag, max_arity), since max_arity is a read-only flag.