Fixed typo in debugger step doc.
Revert db8ab9ac. Fixes #2130.

There may be a refactoring possible here but for now it's best to
have the debugger functioning.
Removed CI tags for fixed finalizers.