Fixed DevTools extension type errors

Removed type-checking suppressions and properly typed objects in the DevTools extension lifecycle code to catch real-world type errors that were previously hidden.