で、どうやって検証するの？

わかりません。。w
元ファイルと、変換後のファイルをもってきて、それぞれにFFTをかけてそれぞれを比較すればよいとおもうのですが……
自力でやるならwavファイルを数字の列にしたいのですがそれはどうやってするのだろー。
もしくは便利ツールがあったりするのでしょうか？

あ、ちなみにですが、

・・・でも、単に群遅延特性の改善を目指すなら、対象スピカの群遅延特性から逆フィルタか何かを作ってDSPか何かをしちゃうほうが楽なんじゃないでしょうか。使用者に各環境の群遅延特性を取得させるのは酷かもしれませんが。・・・いやーしかしそれをやってもらわないとだな、我ら測定マンセー組の拡充は望めないのですよ。

これはおっしゃる通りかと思います(こういう製品はすでにありますよね)。
とりあえずtruephaseの場合、出発点が勘違い出発点で、結果としてこんなフィルタになったというオチなのですのでご容赦くださいというところです。エラそうな名前をつけてしまったのですが今さら戻せませんw

しかしまあ、こういうフィードバックをもらえるというのは、いいことだなあ。インターネットすげーなー。

追記：そのー、小細工の部分をちゃんとしたIIRハイパスに置き換えたものにとりあえずアップデートしようかなーなんて……いまさらー。