v0.2.56

Deletes on a cache (named so in the receiver, the method or the class) no longer count as code paths that delete data; a sink configured in destructive_sinks still counts. Name-match leads no longer depend on test folder names such as tests/unit or tests/test_, so moving tests between folders does not change them. Linked and proven evidence are unchanged. The short report now links each proof to its test file and line. Analyzer identity is orangepro.analyzer.v9.