perf: verify then mark assembly blocks as memory safe

[mds1]

See https://docs.soliditylang.org/en/latest/assembly.html#memory-safety for more info

To ensure compatibility, we should use the comment-based /// @solidity memory-safe-assembly approach over the assembly ("memory-safe") approach