Add PFD verification

[nemakin]

This PR implements PFD verification algorithm along with some tests, python bindings and examples.

[egshnov]

Please do not fix codestyle in a separate commit.

[egshnov]

Overall seems fine, but most of the code just repeats fd_verifier. As soon as #396 and #458 are merged there will be a task to add afd verification with different measures, which will differ from this pr only in CalculateStatistics, so directly copying code from fd_verifier for the 3rd time will look quite bad. I suggest you moving all the common logic of pfd_verifier and fd_verifier to a new base class (or at least talk to @chernishev and give this task to someone else). Do it in a separate pr.

[egshnov]

Not sure if we need a separate function to check whether pfd holds or not (and store max_fd_error_) since afd_verifier just returns the error to the user and pfd is pretty much an afd. But this is a topic to discuss with the maintainers, let me know if you've done it already.

[chernishev]

For the future reference: we just talked and decided to fix immediate problems, found by @egshnov. The architecture rework will come later, when both mining and validation PRs for other metrics will be merged.

[egshnov]

Almost entirely repeats PFDTane::CalculatePFDError from #396. I think we will have to split it into several functions to avoid repetition as soon as #396 is merged.

[egshnov]

Please do not make changes to the interface of PfdVerifier in a separate commit. Amend to the implementation and we are done.

[github-actions]

clang-tidy made some suggestions