Test symplecticity. Maybe we should check convergence in H at some point...