Added transaction support to insert/split functions; fixed bug in reach_leaf