Fix benchmark
Fix invalid benchmark (buggyBalance can trivially call balance)