Unprecedented Low Crypto Losses in April: Spotlight on CertiK (CTK) Performance