[Bug] Overload checking not catching bad parameters anymore

[cretz]

Describe the bug

It appears sometime recently or in some MyPy version recently, you can execute a single-param workflow with no param and MyPy won't catch it. Investigate this and other places where type checking should catch issues but is not. Ideally we can write tests to confirm type checking failures.