Add a RecordingThreadPool that inherits from Executor, contains a
ThreadPoolExecutor and has an extra method 'was_used' to indicate if
submit method was ever called i.e. if the thread pool was ever used.