Support VerificationStatement in the naming plugin (#2555) (#2557)

Previously, verification statements (assert, assume, cover, and printf)
were only named via reflection.

(cherry picked from commit 7fa2691f

)

Co-authored-by: Jack Koenig <koenig@sifive.com>