There is a lot of loose soil around Hawaii and trees can blow over without significant damage to the roots. I often deal with trees blown over and normally will stake the tree back upright. I may or may not prune when I do that. Usually they survive unless there has been obvious damage to the roots. If they do survive, within a few months they are much stronger and more vibrant than a replacement tree would be, and I will have avoided the expense of a replacement. A replacement of comparable size to your tree that was blown down would be very expensive, a reaonably priced replacement would take years to get to the same size.
If the staked tree does not survive, that will quickly become apparent and it can then be replaced. One benefit of being in Hawaii is that you can plant most trees any time of the year, so it is not like you risk losing a year for the opportunity to plant a replacement tree. The trimming that was done looks extreme, but there may be good reason for it. So while I might have some issue with the amount of trimming, the general tactic of your landscaper looks appropriate to me.
