I vote for a simple dock and a ladder on the end. Many advantages besides being a place to jump from and a place to tie boats to..

I would worry that excavating a spot for gravel may create a leak if the pond was constructed with a clay liner or other feature.