build abstraction for paych actor and switch to using it in payment channel manager and state predicates