SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations