## Description 

This PR fixes a problem with constants designated to be used for clever
errors not displaying on-hover information when used in assertions.

It also updates symbolicator to use compiler's doc comment extraction
facility instead of the much flakier hand-rolled implementation
originally used in `move-analyzer`. Among other things it allows clean
doc comment extraction in presence of atrributes (new tests added).

Finally, it updates `symbols` tests to Move 2024

## Test plan 

All new and old tests must pass