Instead of the final results, let me focus on the underlying reasons why number fields and function fields are different.
A. Every function field has subfields of arbitrarily large index (e.g. by taking the field generated by a rational function of large degree). But each number field has a subfield of maximal (finite) index.
This actually explains the discrepancy in the bounded ranks heuristic. The heuristic, being probabilistic, is not expected to apply to a special family of curves that has unusually high rank for a good reason. For instance, if you take an extension of $\mathbb Q$ with Galois group $(\mathbb Z/2)^n$, by looking at root numbers you can see that the average rank of curves in the family is at least $2^{n-1}$. The constructions of curves of large rank over function fields all, I believe, involve a similar pullback - but the pullback is from a subfield of $\mathbb F_q(t)$ to $\mathbb F_q(t)$.
B. There exist isotrivial objects over function fields. These have properties that cannot occur over number fields, because the fact that each prime number is different places a lower bound on how similar the reductions of a variety modulo different places can be.
For instance, there are no elliptic curves with good reduction at every place of $\mathbb Q$, and no non-isotrivial elliptic curves with good reduction at every place of $\mathbb F_q(t)$, but there are isotrivial examples.
C. Numerical statements tend to be much simpler over function fields.
Szpiro's conjecture over a function field has the form $\Delta= O(N^6)$, not $\Delta= O(N^{6+\epsilon})$ as is known to be best possible over number fields. (This was changed from the ABC conjecture to answer Vesselin Dimitrov's objection about the Vojta conjecture being a more natural statement than the ABC conjecture in the function field setting - I think Szpiro's conjecture is also a very natural statement). As Vesselin points out, this might also be related to B, and the fact that the moduli space of elliptic curves is isotrivial.
There exist constructions hitting simple numerical lower bounds, such as extensions of $\mathbb F_q(t)$ of degree $n$ and Galois group $S_n$ whose conductor exactly reaches the lower bound you get by looking at L functions, $q^{2(n-1)}$. One can get similar lower bounds by looking at L functions over number fields, but it is not at all obvious that there exist extensions that reach them.
D. The zeta function has infinitely many poles over function fields, but only one pole over a number field. This makes the ideal-counting and prime-counting functions both logarithmically periodic - i.e. all polynomials, and all prime polynomials, have norm $q^n$ for some $n$, not smoothly distributed like the sizes of numbers and prime numbers are.
One usually deals with this by considering polynomial of fixed degree, and viewing that as the function field analogue of a large interval, but sometimes it recurs in ways that might be surprising. For instance, the error term in the formula for the number of squarefree polynomials of degree $n$ is $2$-periodic in $n$. This sort of makes sense because squaring is $2$-periodic also.
E. The zeta function has finite complexity over function fields, but infinite complexity over number fields. The obvious aspect of this is that the zeros are periodic. Usually one accounts for this by, if considering a problem that involves many zeros, taking the large $g$ limit. However another facet is that each zero is an object with a simple description, being the log of an algebraic number.
This means that phenomena (like two zeros being equal, or a linear dependence among the zeros) that would be infinitely improbable over number fields, and thus we expect that they never happen, unless there is a good reason (like the same L function appearing twice in the product for a Dedekind zeta function, forcing some zeros to occur with multiplicity), are only finitely improbable and thus we expect them to happen occasionally. So the linear independence conjecture, for instance, is known to be false over some function fields, but is known to hold for randomly chosen function fields.
F. There is no Archimedean place and no $p$-adic Hodge theory over function fields. This causes a number of statements to be simpler - for instance, the analogues of the Fontaine-Mazur conjecture and Langlands conjectures are much simpler.
G. $p$-adic properties, like the Newton polygon of Frobenius, behave much better over function fields, because you don't have to keep changing $p$. For instance, a non-isotrivial elliptic curve over a function field has only finitely many supersingular primes.
H. Over function fields, the Mobius function $\mu(f + g^p)$ is proportional to a quadratic Dirichlet character in $g$ modulo the derivative of $f$. The set of such sums behaves like a short interval / arithmetic progression / Bohr set, in addition to being the set of values of a polynomial, but in none of these special sets is the Mobius function expected to behave like a Dirichlet character over the integers. This underlies the deviation in the Bateman-Horn conjecture mentioned in Lior Bary-Soroker's answer. It also was exploited in recent work of Mark Shusterman (EDIT: and myself).
I. Additive combinatorics seemingly behaves much differently over function fields. Work of Ellenberg and Gijswijt showed that the maximum size of a set of polynomials of degree $<d$ free of three-term arithmetic progressions has size at most $q^d / \left(q^d\right)^\epsilon$ for some $\epsilon>0$ depending on the characteristic. On the other hand, over the integers there are examples due to Behrend of subsets of $\{1,2,\dots,N\}$ free of three-term progressions of size at least $N/ e^ { O(\sqrt \log N)}$. Because $N$ is the analogue of $q^d$, the upper bound in the function field case is much smaller than the lower bound in the number field case, so whatever the true maximum size in each case, the two must be very different.
Best Answer
Perhaps a couple of things should be pointed out.
1) All curves of genus $g=2$ are hyperelliptic.
2) Your equation $z^2=f(x, y)$ is not the equation of an hyperelliptic curve. If you take $f(x, y)$ to be a binary form of degree $2g+2$ then the (projective) equation of the curve is $$ z^2 y^{2g} = f(x, y),$$ where the discriminant $\Delta (f) \neq 0$.
3) A natural generalization of hyperelliptic curves are superelliptic curves, i.e, curves which have affine equation $y^n=f(x)$.
Perhaps, one can attempt to investigate what Bhargava type statements mean for superelliptic curves first or at least fix the "type" of equation. For example, take non-hyperelliptic curves of genus 3, which are ternary quartics.