Optimization, Testing and Design-for-Testability of Flow-Based Microfluidic Biochips