`adjacency_matrix` should implement BidirectionalGraphConcept

[Wavetrace]

I think there's no reason not to do this. Indeed, one can see that the majority of functions, required for the concept is implemented in a dedicated section. Please see #403 that finalizes that idea.