bean_reset() calls menu_rebuild(), which already happens during drupal_flush_all_caches()

Is this really necessary?

A menu_rebuild() can take a considerable amount of time (20s my case, according to xhprof), adding a second call to it doubles that, obviously.

Maybe make that call configurable and set it to FALSE in bean_flush_caches() ?