Efficient solution to verify kernel uniqueness + better absolute timelocks

[tromp]

@Anynomous

please give some more concrete examples so we can understand better the weight given to monoticity

See my (edited) reply in Replay Attacks and possible mitigations - #115 by tromp