Add more tests for the disk file system
Add test cases for writable disk file system