Document the use cases for verbatim and why it cannot be used in inline assembly

[PaulRBerg]

Page

https://docs.soliditylang.org/en/v0.8.25/yul.html#verbatim

Problem

The current documentation does not say much about the potential use cases for verbatim. My understanding is that this syntax was added in order for Optimism to avoid having to maintain a fork of solc. This seems like a problem that many rollups/ L2s will encounter, and so I think it should be more explicitly documented.

Furthermore, it would be helpful to add a note about why this syntax is unavailable in inline assembly, and why it will remain so in the near future.

More Context

I've asked some questions about verbatim in the Matrix server, which have been answered by @cameel. His answers would be a good starting point for an updated documentation:

Related

#12067

[nikola-matic]

I've added it to our focus board so it doesn't get lost, but consider this triaged.