Delta-mem+モデル検査使用時のバグ修正

- Delta-mem+モデル検査使用時のバグ修正
- ハッシュ関数のデータアトムに対する挙動変更
- ベンチマークのオプション使用時に受理サイクルの有無の判定を載せた