The PE Definition is currently placed under the
verifiable_presentations property, which is a deviation from the spec. Can this be relocated under a
presentation_definition property, to retain interop with other implementations? We might be able to advocate for a change in the PE spec that special cases it under this OIDC SIOP property, but devs would probably prefer to have it always appear under the same property, for consistency sake.