Implement more tests in SupervisorHierarchySpec