#18 In Progress - Dropping support for Tamarin-Redux updates, considering switching TR/TRD tools