That 9.99 RAS score is way off.
The testing numbers used to generate that score were taken from Bruce Feldman's Freak List article. I don't know where Feldman got them from - I'm guessing the UMich S&C staff or from Mazi himself. No doubt that workout numbers given to an offseason "Freak List" hype piece article are going to be optimistic, personal best type stuff... that's what everybody involved wants to see. But they didn't end up close to his Pro Day numbers.
His Freak-Listed 44" vert would blow away the all-time record for a defensive lineman by like another 6 inches. His Pro Day vert was 29", which was a fairly pedestrian 65th percentile.
His broad wasn't as egregious, but it was given as an 87th percentile 9'4" and ended up being a 60th percentile 8'11". That one's more believable, but it isn't freaky either. It's also pretty average for an NFL DT.
Bottom line is, Mazi either underwhelmed Feldman's Freak List numbers for him or left them unverified. He was hyped to be a Micah type athlete, but the concrete numbers we have on him say he's got average starter tools.