Relativized Separation of Reversible and Irreverible Space-time Complexity Classes