Add API to check base prop latches through
Fixed a trimming bug that meant input props (and any downstream logic they suppot) for moves that are never legal are not trimmed
Completed partitioning analysis neccessary for Sudoku solver