dlog v1 finalization: auditor, check recipients

[adecaro]

This is to address the following TODO:

// TODO: we need to check also how many recipients the output contains, and check them all in isolation and compatibility