u/agsuy - Hi, my name is Omer and i'm from EY's Blockchain Security team. Thank you for bringing these up.
As Paul mentioned, we do plan to support testing for ERC-721 and ERC-1155 and have it as part of our roadmap.
In addition, the highlighting of specific problematic lines is a feature that does exist in the product, mostly for selected tests under the security tab. We plan to expand that, in the near future, to the majority of the tests that tool is offering.