[Docs] abi_decode_returns_validate is not explicit about what the validation entails

[jmg-duarte]

Very much as described by the title.

I'm trying to decode a return from a call, but I'm not sure whether to use abi_decode_returns or abi_decode_returns_validade, I get that the second does validations but which ones? What gets validated and how?

I've looked in the codebase for answers but had some trouble figuring it out.

I went down the rabbit hole in the docs and it keeps moving me deeper, teasing, but never truly answering.
It took me here and now my question becomes: is the validation a type check?

I'm open to make the docs more explicit once this becomes clear