Text this: SAT-Based Security Evaluation for WARP against Linear Cryptanalysis