Cleanup: make 'verified' qualifier implicit

History: Qualifying the method names with 'verified' was done to
distinguish them from methods that first did signature verification.
After we moved all signature verication to SigVerifyStage, we removed
those methods from Bank, leaving only the 'verified' ones.

This patch removes the word 'verified' from all method names, since
it is now implied by any code running after SigVerifyStage.

src/bin/fullnode.rs

@@ -115,7 +115,7 @@ fn main() {
     let mut last_id = entry1.id;
     for entry in entries {
         last_id = entry.id;
-        let results = bank.process_verified_transactions(entry.transactions);
+        let results = bank.process_transactions(entry.transactions);
         for result in results {
             if let Err(e) = result {
                 eprintln!("failed to process transaction {:?}", e);