Deprecated getter methods are not marked as deprecated when used as properties

When using a getter that is marked with `@Deprecated`, IntelliJ will show a warning wherever the method is used. However, when using Manifold properties, IntelliJ no longer displays this warning, even if the method is deprecated.