model: Delete instructions in destructor
providers: Fix memory leaks for the bfd provider
unit test: Improve leak test