[lib] Move inconsistencies finding into specs

Summary:
Move the code and do required changes in some types.

Depends on D9319

https://linear.app/comm/issue/ENG-4677/describe-inconsistencies-as-a-part-of-a-spec

Test Plan: Added console logs in the reports reducer and in the user reducer. Modified server state and checked if state sync generates a report.

Reviewers: kamil, bartek, inka

Reviewed By: kamil

Subscribers: wyilio, michal, ashoat

Differential Revision: https://phab.comm.dev/D9354