Automatically Eliminating Speculative Leaks with Blade