What is the difference between https://authzed.com/docs/spicedb/modeling/validation-testing-debugging#check-tracing and https://authzed.com/docs/spicedb/modeling/validation-testing-debugging#checkpermission-tracing-header? If i may suggest, adding request/response examples in both sections would be very helpful.