SQL thread visibility solver

Merged kaniini requested to merge feature/sql-thread-sat into develop

This is a specialized visibility solver for entire threads written in PLPGSQL. It replaces manual thread unwinding which has performance issues.

Merge request reports