I have a 9'10 Hokua & just sold a 9'6" Hull ripper.
Keeping in mind that I'm 100kg as opposed to your 80kg you may have different findings to myself.
The Hokua is a fantastic board! Plenty stable, paddles great & can be surfed high performance or just cruised on.

The Hull Ripper is definitely more aimed at high performance style surfing. It must be surfed from the tail in a short board style. If you come forward on it the board spins out pretty much every time.

The Hull Ripper is also not all that stable due to the hull bottom & chine rails & requires pretty clean conditions to get the best out of it, where as the Hokua is good in pretty much all conditions.

I recently got some advise from somebody that has surfed both the 9'5" & 9'10" Hokuas & they said there really is hardly any difference between the two boards in terms of stability, glide & performance.

I sold the Hull Ripper & got myself a 9'0" Hokua as a challenging type of board & rode it today for the first time. It was very challenging stability wise, but once on a wave it was electric!

Hope that helps in some way.

The board you are riding is an exceptional sup and very capable in the surf. If you are looking to progress IMO the boards you are looking at are not really progressing. Yes they are more pointy but they are only about 10 litres less in volume and not great boards.
I believe a realistic progression would be to something around 135ish litres and in the low 9ft area.
Very very good boards that would suit would be JP surf 9.2 / Fanatic prowave 9.3 / Jimmy Lewis Stun Gun or Kwad (around 9.2 I think) /Surftech Al Merrick 9.1.
Just some suggestions and of course only my opinion, but I know the board you are riding very well and I know the ones you are considering arent noticably much better.

BB

I tend to agree that the boards you are mentioning are very close to what you already have, i would try and test a few more around the 9' ish, try some of the new JP's which seem on song this year, definitely dont do anything until you try the new carbon fanatic prowave 9'3" IMO as its on a whole new level with design and in particular lightness, my 9'5" hokua is about twice as heavy i reckon!

If you can afford it to keep the Element I would go for a Starboard pro8.5 2012 or a Hokua9.0
The Element is an awesom fun minimal style board that you can noseride as well.
The 8.5Pro and Hokua9.0 are true shortboards but very rewarding.
In catching they don,t go that much later as a Element but when on a wave they are a lot more agile. Turns and drops you could never dream of are a piece of cake with these too babies. The 8.5pro is a bit more agile while the Hokua9.0 is a bit more secure in the turns on big(ger) waves. Its really fun to have a couple of boards that work different. I got next to my WP8.10 and Hokua9.0 a Drive10.5 for when i,m in a longboard mood while on other days i love to rip with the smaller boards. :)

If you wanna stay a bit on the longboardfeel: have a look at the Converse9.0...its just like a XS Element.