Allow higher degrees in CTL filters

[Nashtare]

Cross Table Lookup Filters are currently of degree one.
Given that the recursive circuit part supports large degrees (8), and that the CTL verification in transaction proofs represent a minimal fraction of the total proving time, it may be beneficial to allow higher flexibility on the filtering of CTLs, which could lead to additional improvements, like some columns removal.