made atomic txn and malloc spinlock when the number of concurrent locking threads would outstrip a pointer's alignment; fixed bugs in mtxn.c