Add type annotations to hypothesis/internal/conjecture/engine.py

Add type annotations to hypothesis/internal/conjecture/engine.py #3884