Use z3 to cause murmurhash3 collision in bloom filter

Original writeup (https://imp.ress.me/blog/2023-08-28/sekaictf-2023#diffecientwo).